T, Earl Grey, Hot: Generics in .NET An overview of generics by JeremyBytes.com Overview Generics give us a way to increase type-safety of our types and methods while still keeping them extensible and reusable. Most C# de

Source URL: www.jeremybytes.com

• Software engineering
• Computer programming
• Computing
• Java
• Cross-platform software
• Procedural programming languages
• Object-oriented programming languages
• Object-oriented programming
• Is-a
• C Sharp
• Template
• Go

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible

Source URL: adam.chlipala.net

The DOE ACTS Collection The DOE Advanced CompuTational Software Collection The Department of Energy’s Advanced CompuTational Software (ACTS) Collection is a set of DOE-developed software tools that make it easier for p

Source URL: acts.nersc.gov

• Mathematical software
• Operations research
• Numerical software
• Numerical linear algebra
• Cross-platform software
• Portable
• Extensible Toolkit for Scientific Computation
• Computational science
• Wolfram Mathematica
• SageMath
• Mathematical optimization
• Linear programming
• Finite element method

The Bedrock Structured Programming System Combining Generative Metaprogramming and Hoare Logic in an Extensible Program Verifier Adam Chlipala MIT CSAIL

Source URL: adam.chlipala.net

• Software engineering
• Theoretical computer science
• Computer programming
• Formal methods
• Logic in computer science
• Macro
• Hoare logic
• Assertion
• Separation logic
• C preprocessor
• Postcondition
• Assembly language

Atlantis: Robust, Extensible Execution Environments for Web Applications James Mickens Mohan Dhawan

Source URL: www.sigops.org

• Computing
• Software engineering
• Software
• JavaScript
• Ajax
• Application programming interfaces
• Web development
• Document Object Model
• Cross-browser
• JQuery
• XUL
• Web storage

LogGC: Garbage Collecting Audit Log Kyu Hyung Lee Xiangyu Zhang Dongyan Xu Department of Computer Science and CERIAS, Purdue University West Lafayette, IN 47907, USA

Source URL: friends.cs.purdue.edu

• Computing
• Software
• Object-oriented programming languages
• Data management
• Computer systems
• Concurrent programming languages
• Functional languages
• Tuple
• Scala
• Log analysis
• Extensible Storage Engine
• Logfile

Delft University of Technology Software Engineering Research Group Technical Report Series Spoofax: An Extensible, Interactive Development Environment for Program

Source URL: swerl.tudelft.nl

• Stratego/XT
• Program transformation
• ASF+SDF Meta Environment
• Stratego
• Eclipse
• ECL programming language
• Domain-specific language
• Emacs
• Code refactoring
• Software
• Computing
• Transformation languages

Fact Sheet PRODUCT SPECIFICATION Product Positioning RTC:engine is a WebRTC-based telecommunication

Source URL: www.sipwise.com

• Online chat
• Cross-platform software
• Extensible Messaging and Presence Protocol
• Application programming interface
• Microsoft Lync Server
• Distributed social network
• Software
• Computing
• Instant messaging

ICHEC TECHNICAL REPORT Library Reading Room,

Source URL: www.ichec.ie

• Numerical linear algebra
• Abstract algebra
• Portable
• Extensible Toolkit for Scientific Computation
• Numerical software
• Vectors
• SLEPc
• Lis
• Array programming
• Matrix
• Algebra
• Mathematics
• Linear algebra

An Object-Oriented Framework for Dynamically Configuring Extensible Distributed Systems Douglas C. Schmidt Tatsuya Suda

Source URL: www.cs.wustl.edu

• Object-oriented programming
• Computing
• Software engineering
• Software architecture
• Component-based software engineering